import sys

from localc.proposition import Proposition
from localc.gui.main import *
from traitlets.config.loader import Config
from IPython.terminal.embed import InteractiveShellEmbed

if __name__ == '__main__':
    if len(sys.argv) > 1:
        cfg = Config()
        ipshell = InteractiveShellEmbed(
            config=cfg,
            banner1="Localc (Logic Calculator), Version 2.0.0"
        )
        ipshell()
    else:
        main_gui()
